منابع مشابه
Self-stabilizing Silent Disjunction in an Anonymous Network
Given a fixed input bit to each process of a connected network of processes, the disjunction problem is for each process to compute an output bit , whose value is 0 if all input bits in the network are 0, and 1 if there is at least one input bit in the network which is 1. A uniform asynchronous distributed algorithm DISJ is given for the disjunction problem in an anonymous network. DISJ is self...
متن کاملBrief Announcement: Self-stabilizing Silent Disjunction in an Anonymous Network
Given a network of processes G, where each process has a fixed input bit , Input(x), the disjunction problem is for each process to compute Output = ∨ x∈G Input(x), the disjunction of all input bits in the network. A distributed solution to the disjunction problem is a distributed algorithm which computes an output bit for each process, such that all output bits are equal to Output. The solutio...
متن کاملStabilizing Quantum Information
The algebraic structure underlying all the schemes for quantum information stabilization is argued to be fully contained in the reducibility of the operator algebra describing the interaction with the environment of the coding quantum system. This property amounts to the existence of a non-trivial group of symmetries for the global dynamics. We provide a unified framework which allows us to bui...
متن کاملStabilizing Feedback Controls for Quantum Systems
No quantum measurement can give full information on the state of a quantum system; hence any quantum feedback control problem is necessarily one with partial observations and can generally be converted into a completely observed control problem for an appropriate quantum filter as in classical stochastic control theory. Here we study the properties of controlled quantum filtering equations as c...
متن کاملConjunctive interpretation of disjunction ∗
In this extended commentary I discuss the problem of how to account for “conjunctive” readings of some sentences with embedded disjunctions for globalist analyses of conversational implicatures. Following Franke (2010, 2009), I suggest that earlier proposals failed, because they did not take into account the interactive reasoning of what else the speaker could have said, and how else the hearer...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Philosophical Logic
سال: 2018
ISSN: 0022-3611,1573-0433
DOI: 10.1007/s10992-018-9460-7